Towards Code Compliance Checking on the Basis of a Visual Programming Language

ثبت نشده
چکیده

In the AEC industry, there is a large number of standards and codes which ensure the structural stability, reliability, usability of the building under design. Accordingly, checking the conformity of the building design with these requirements is a crucial process. Nowadays this checking is performed to a large extent manually based on two-dimensional technical drawings and textual documents. Due to the low level of automation, the conventional checking procedure is laborious, cumbersome and error-prone. As Building Information Modeling (BIM) becomes more and more mature, a suitable digital information basis also becomes available to enable automating the process. The commercial solutions for code compliance checking available so far mainly follow a black-box approach where the rules that make up a certain regulation are implemented in a hard-wired fashion rendering their implementation in-transparent and non-extendable. A number of researchers have tackled this problem and have proposed various ways that allow the user to define rules, either in a standard programming language or in a dedicated language. However, AEC domain experts usually do not have the required programming skills to use these languages appropriately. To overcome this issue, we introduce the Visual Code Checking Language (VCCL), which uses a graphical notation in order to represent the rules of a code in a machineand human-readable language. The paper presents the features and functionalities of the VCCL in detail and shows its application in a number of case studies.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Checking compliance of a system with regulations : towards a formalisation

This paper addresses the problem of checking if an updated system is in compliance with the current regulations which apply on the domain. We first present the applicative context in which this problem has been met. We sketch a formalisation of the problem of compliance and we show that is can be split in several sub-problems of different types, the solutions of which are discussed.

متن کامل

InRaDoS: An internal radiation dosimetry computer program

Introduction: Internal radiation dosimetry is important from a radiation protection point of view and can help to optimize the radiation dose delivered to the workers, public, and patients. It has a rather simple protocol but needs a large amount of data. Therefore, it is difficult to do on a routine basis. The use of computer programs makes internal radiation dosimetry simpler...

متن کامل

Certifying Domain-Specific Policies

Proof-checking code for compliance to safety policies potentially enables a product-oriented approach to certain aspects of software certification. To date, previous research has focused on generic, low-level programming-language properties such as memory type safety. In this paper we consider proof-checking higher-level domain-specific properties for compliance to safety policies. The paper fi...

متن کامل

how to deal Baqie In Islamic Jurisprudence (Compliance with Islamic Penal Code)

Islamic regulations are the source of rebellious criminality that in Islamic Penal Code 1392 Separated from Moharebeh and became an independent criminal. Given that rebellious is a Specific and designated crime and punishable by death, the expectation, taking into account the principles of Islamic law, is to punish the criminals with great sensitivity. On this basis, the subject of this article...

متن کامل

Motivational Determinants of Code-Switching in Iranian EFL Classrooms

“Code-Switching”, an important issue in the field of both language classroom and sociolinguistics, has been under consideration in investigations related to bilingual and multilingual societies. First proposed by Haugen (1956) and later developed byGrosjean (1982), the termcode-switching refers to language alternation during communication. Although code-switching is unavoidable in bilingual and...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2016